Stream- and State-Based Semantics of Hierarchy in Block Diagrams
نویسندگان
چکیده
منابع مشابه
Stream- and State-Based Semantics of Hierarchy in Block Diagrams
Block diagrams are often used in embedded system design for modeling both plant and controller, typically with continuous and discrete modeling, respectively. Though easy to use, advanced users and implementers of these languages often run afoul of subtle semantic problems these seemingly simple languages can have. Based on the streamand state-based approaches, this paper discusses how the spec...
متن کاملTowards Computational Hybrid System Semantics for Time-Based Block Diagrams
At the core of Model-Based Design, computational models have caused an autocatalytic trend to use computation in design by unlocking the potential of model transformations. Precisely specifying a computational transformation requires well-defined semantics of the source and target representations. In this regard, continuous-time behavior is an essential aspect of time-based block diagrams that ...
متن کاملCompositional Semantics and Analysis of Hierarchical Block Diagrams
We present a compositional semantics and analysis framework for hierarchical block diagrams (HBDs) in terms of atomic and composite predicate transformers. Our framework consists of two components: (1) a compiler that translates Simulink HBDs into an algebra of transformers composed in series, in parallel, and in feedback; (2) an implementation of the theory of transformers and static analysis ...
متن کاملInterface Theories for Component-based Design Hierarchy. Hierarchical Block Diagrams Support Abstraction and Reenement
We classify component-based models of computation into component models and interface models. A component model speciies for each component how the component behaves in an arbitrary environment; an interface model speciies for each component what the component expects from the environment. Component models support compositional abstraction, and therefore component-based veriication. Interface m...
متن کاملSemantics-Based Weaving of UML Sequence Diagrams
In this paper we briefly introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. Our main contribution is to weave aspects and sequence diagrams at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. To avoid the intractability of working on complete trace sets, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2008
ISSN: 1474-6670
DOI: 10.3182/20080706-5-kr-1001.01344